Vietnamese dictionaries for mobile phones

atomic propositions not found. Suggestions:

propositional logic

International Atomic Time

first-order logic

tautological probability

tautological set

Genken Programming Language